~/tags

formal proofing

The Future of Software Engineering: Efficiency, Learning Velocity, Small Teams, and Reasoning Under Change

The conversation about AI and the future of software engineering is often framed incorrectly. It usually oscillates between two extremes (total replacement or total irrelevance). Both are intellectually lazy.

A better framing is simpler (and more uncomfortable):...

~/contact

Contact

Email is the fastest way to reach me. For anything else, pick a network: